function json_encode($string)
{
	return JSON.parse($string);
}

function json_decode($arr)
{
	return JSON.stringify($arr);
}
